../kernel/hypercalls/hypercall_table.h